Subsystems of Quine's ``New Foundations'' with Predicativity Restrictions
نویسندگان
چکیده
منابع مشابه
Predicativity beyond Γ0
We reevaluate the claim that predicative reasoning (given the natural numbers) is limited by the Feferman-Schütte ordinal Γ 0. First we comprehensively criticize the arguments that have been offered in support of this position. Then we analyze predicativism from first principles and develop a general method for accessing ordinals which is predicatively valid according to this analysis. We find ...
متن کاملdetection of volatile compounds of medicinal plants with some nano-sorbents using modified or new methodologies and investigation of antioxidant activity of their methanolic extracts
in this work, a novel and fast method for direct analysis of volatile compounds (davc) of medicinal plants has been developed by holding a filament from different parts of a plant in the gc injection port. the extraction and analysis of volatile components of a small amount of plant were carried out in one-step without any sample preparation. after optimization of temperature, extraction time a...
The Historical Foundations of Religious Restrictions in Contemporary China
The ruling Chinese Communist Party (CCP) abolished its total ban on religious activities in 1982. However, the distrust that the CCP feels for religions remains obvious today, and the religious restrictions in contemporary China remain tight. Conventional wisdom tells us that the official atheist ideology of Marxism-Leninism is the main reason behind the CCP’s distrust for, and restriction of, ...
متن کاملArtificial cells as reified quines
Cellular automata were initially conceived as a formal model to study self-replicating systems. Although reproduction by biological cells is characterized by exponential population increase, no population of self-replicating machines modeled as a cellular automaton has ever exhibited such rapid growth. We believe this is due to the inability of cellular automata to model bonded complexes of rei...
متن کاملPredicativity beyond Γ0
We reevaluate the claim that predicative reasoning (given the natural numbers) is limited by the Feferman-Schütte ordinal Γ 0. First we comprehensively criticize the arguments that have been offered in support of this position. Then we analyze predicativism from first principles and develop a general method for accessing ordinals which is predicatively valid according to this analysis. We find ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Notre Dame Journal of Formal Logic
سال: 1999
ISSN: 0029-4527
DOI: 10.1305/ndjfl/1038949535